New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Don't trigger CI jobs twice #704

Merged

fcollonval merged 1 commit into master from fcollonval-patch-1

Oct 10, 2023

Collaborator

fcollonval commented Oct 10, 2023

Trigger on PR and only on push on master


          Don't trigger CI jobs twice

534d1cc

fcollonval added the maintenance label

fcollonval merged commit 8079074 into master

11 checks passed

fcollonval deleted the fcollonval-patch-1 branch

October 10, 2023 07:13

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels